a unless b
